#ifndef ARITHMETIC_H
#define ARITHMETIC_H

#include "expression/expression.hpp"
#include "expression/variable.hpp"
#include "tree/treenode.h"
#include "tree/tree.h"
#include "tree/startestbox.h"
#include "../constants.h"

typedef ::expression::Expression Expression;
typedef ::expression::Variable Variable;
typedef ::numeric::interval Interval;

class Arithmetic
{
public:
    Arithmetic();

    static test(Expression f, Expression g);
};

#endif // ARITHMETIC_H
